theorem proving system
定理証明系统
热门查询
- scammer n. 调情的人；骗子
- bicycle n. 自行车 vt. 骑自行车运送 vi. 骑脚踏车
- sawtooth n. 锯齿；锐齿
- gauloise 高卢的；放纵的；爽朗的 G～ 高卢人 高卢语
- sweetness n. 美妙；芳香；可爱
- throughout prep. 贯穿，遍及 adv. 自始至终，到处；全部
- souffle n. 吹气音；[临床] 杂音 n. 蛋奶酥
- relatively adv. 相当地；相对地，比较地
- tush n. 犬齿；长牙；獠牙 int. 表示申斥，轻蔑；呸！ vi. 发出呸声
- incarceration n. 监禁；下狱；禁闭
- unhurried adj. 从容不迫的；不慌忙的；不急的
- homed n. 霍梅德牌手表
- reverberate adj. 回响的；反射的 vt. 使回响；使反射；使弹回 vi. 回响；反响；弹回；不断发生后效
- medievalist n. 中世纪研究家；中古史学家
- zookeeper n. 动物园管理员
- bum n. 流浪汉；屁股；狂欢作乐；能力差的人；嗡嗡声；执达员（等于bumbailiff） vi. 流浪；靠乞讨过活；发嗡嗡声 vt. 乞讨；闲荡 adj. 无价值的；劣质的；很不愉快的
- repeater n. [通信] 中继器；[通信] 转发器；重复者
- purveyor n. 承办商；伙食承办商；供应粮食者；供应货物或提供服务的人或公司
- spitball n. 纸团；唾沫球（棒球） vt. 不假思索地发言 vi. 投湿曲线球（棒球）；随便说说
- diagnose vt. 诊断；断定 vi. 诊断；判断
